由约定
,
当
时,
, 从而得证.